数式処理(その2) 最近の話題から